Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
301	Auditing User-provided Axioms in Software Verification Conditions Paul Jackson1 , Florian Schanda2 and Angela Wallenburg2 1. University of Edinburgh 2. Altran UK (Praxis) Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-01 08:32:13 Z notation Axiom Mathematical proof S Proof theory Mathematics Mathematical logic Logic
302	Criteria for Selection of Environmental Decision Support Software Technology Demonstration Participants December 1997 Add to Reading List Source URL: www.epa.gov Language: English - Date: 2014-08-05 13:08:54 Knowledge engineering Software testing Knowledge Technology Science Environmental Technology Verification Program Decision making Decision theory Information systems Decision support system
303	NOW AVAILABLE from FRED BROOKS! These new essays by legendary author Fred Brooks contain extraordinary insights for designers in every discipline. Brooks pinpoints constants inherent in all design projects and uncovers p Add to Reading List Source URL: tug.org Language: English - Date: 2010-09-01 17:49:53 Reliability engineering Verification Systems engineering Systems science Systems theory
304	Proceedings of the American Control Conference Anchorage, AK May[removed]Reconfigurable Logic Control using Modular FSMs: Design, Verification, Implementation, and Integrated Error Handling’ Add to Reading List Source URL: erc.engin.umich.edu Language: English - Date: 2013-08-28 15:04:24 Systems science Control engineering Control theory Programmable logic controller Ladder logic Control system Finite-state machine Modularity ISO 10303 Technology Automation Systems theory
305	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2012-03-13 12:40:54 Applied mathematics Science Quality Systems engineering Automata theory Runtime verification Assertion Specification Model checking Formal methods Theoretical computer science Logic in computer science
306	CBRFC Forecast Verification Ashley Nielson Kevin Werner NWS Colorado Basin River Forecast Center Add to Reading List Source URL: www.cbrfc.noaa.gov Language: English - Date: 2014-02-28 17:12:13 Meteorology Weather prediction Estimation theory National Weather Service Forecasting Data assimilation Statistical forecasting Atmospheric sciences Prediction
307	Multiscale agent-based consumer market modeling Add to Reading List Source URL: www.dis.anl.gov Language: English - Date: 2010-09-30 13:06:03 Science Market research Agent-based model Complex systems theory SymphonyIRI Group Online shopping Simulation Shopping Verification and validation Scientific modeling Marketing Business
308	Criteria for Selection of Environmental Decision Support Software Technology Demonstration Participants December 1997 Add to Reading List Source URL: www.epa.gov Language: English - Date: 2014-08-05 13:08:54 Knowledge engineering Software testing Knowledge Technology Science Environmental Technology Verification Program Decision making Decision theory Information systems Decision support system
309	Applicant Name Social Security No. Add to Reading List Source URL: www.txdps.state.tx.us Language: English - Date: 2014-09-01 05:21:13 Letter Software engineering C Programming language theory ZIP code Postal address verification Postal system Computing Address
310	PDF Document Add to Reading List Source URL: www.barcelonagse.eu Language: English - Date: 2014-03-24 08:08:39 Information Law and economics Knowledge Economic theories Contract theory Mechanism design Contract Costly state verification Asymmetric information Economics Game theory

UPDATE